|
|
Systémy překladových automatů a jejich aplikace
Žitňanská, Lívia ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je zaviesť jednotný aparát pre lexikálnu a syntaktickú analýzu. Táto jednotka sa nazýva lexikálno-syntaktický prevodník LST a je zložená z konečného prevodníku, zásobníkového prevodníku a komunikačných symbolov. Ich definícia a vlastnosti sú odvodené od komunikačných symbolov zavedených v Paralelne komunikujúcich (PC) gramatických systémoch. Slúžia teda na vzájomnú komunikáciu prevodníkov. Práca sa ďalej zaoberá implementáciou tohto aparátu, popisom implementácie a porovnaním vlastností aparátu s už existujúcimi systémami. Výsledný aparát prekladá nový jazyk AIDA založený na jazyku Python 3 a prvkami z jazyka C na výstupný medzikód.
|
|
|
Systémy převodníků: Definice, vlastnosti a aplikace
Řezáč, Michal ; Kövári, Adam (oponent) ; Meduna, Alexandr (vedoucí práce)
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
|
|
|
Částečně paralelní hluboké zásobníkové převodníky a jejich aplikace
Putala, Marek ; Dolejška, Daniel (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce bylo seznámit se s hlubokými zásobníkovými automaty a na základě získaných znalostí dále navrhnout, formálně definovat a implementovat částečně paralelní hluboký zásobníkový převodník. Jedná se o rozšíření hlubokých zásobníkových převodníků, které je na zásobníku schopné v jednom kroku přistupovat k non-terminálním symbolům současně. S vhodně zvolenou konfigurací ve formě pravidel mohou zpracovat vstupní řetězec s menším množstvím přechodů, a tím pádem mají oproti hlubokým zásobníkovým převodníkům vyšší rychlost.
|
|
|
Systémy převodníků: Definice, vlastnosti a aplikace
Řezáč, Michal ; Kövári, Adam (oponent) ; Meduna, Alexandr (vedoucí práce)
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
|
|
|
Systémy překladových automatů a jejich aplikace
Žitňanská, Lívia ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je zaviesť jednotný aparát pre lexikálnu a syntaktickú analýzu. Táto jednotka sa nazýva lexikálno-syntaktický prevodník LST a je zložená z konečného prevodníku, zásobníkového prevodníku a komunikačných symbolov. Ich definícia a vlastnosti sú odvodené od komunikačných symbolov zavedených v Paralelne komunikujúcich (PC) gramatických systémoch. Slúžia teda na vzájomnú komunikáciu prevodníkov. Práca sa ďalej zaoberá implementáciou tohto aparátu, popisom implementácie a porovnaním vlastností aparátu s už existujúcimi systémami. Výsledný aparát prekladá nový jazyk AIDA založený na jazyku Python 3 a prvkami z jazyka C na výstupný medzikód.
|
host ::
RSS.